[prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 227

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.030 2.947 0.230 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.028 8.945 0.888 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 158 144 0 100 82 0 -1

N.S.

1 1.00 1.32 1.20 0.00 0.83 0.68 0.00 -0.01

time (sec)

N/A 0.049 10.184 0.216 0.000 0.472 87.741 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 66 138 0 84 82 0 -1

N.S.

1 1.00 0.53 1.11 0.00 0.68 0.66 0.00 -0.01

time (sec)

N/A 0.071 10.050 0.012 0.000 0.991 12.942 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 113 119 0 69 76 0 -1

N.S.

1 1.00 1.28 1.35 0.00 0.78 0.86 0.00 -0.01

time (sec)

N/A 0.043 0.133 0.010 0.000 0.730 1.652 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 45 98 0 52 0 0 -1

N.S.

1 1.00 0.51 1.10 0.00 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.030 0.016 0.000 0.680 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 93 85 0 50 0 0 -1

N.S.

1 1.00 1.69 1.55 0.00 0.91 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.101 0.011 0.000 0.545 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 68 129 0 73 0 0 -1

N.S.

1 1.00 0.54 1.03 0.00 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.046 0.009 0.000 0.582 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 234 0 0 0 0 0 -1

N.S.

1 1.00 2.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 10.848 0.194 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 176 0 0 0 0 0 -1

N.S.

1 1.00 1.61 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 55.518 0.187 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 202 0 0 0 0 0 -1

N.S.

1 1.00 1.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.097 10.387 0.181 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 142 0 0 0 0 0 -1

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 10.932 180.000 0.000 0.000 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 129 0 0 0 0 0 -1

N.S.

1 1.00 1.23 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 10.308 0.194 0.000 0.000 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 198 0 0 0 0 0 -1

N.S.

1 1.00 1.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 10.546 0.207 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

69 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.108 113.650 0.177 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A F(-2) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

67 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.113 180.002 0.170 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

65 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.098 117.637 180.000 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

65 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.103 95.839 0.192 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-2) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

67 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.110 68.818 0.206 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.021 3.038 0.230 0.000 0.000 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 1.906 0.237 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 0.629 0.232 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.021 2.386 0.219 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 4.769 0.222 0.000 0.000 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 3.483 0.247 0.000 0.000 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 6.634 0.227 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 10.445 0.230 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]